1. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
2. Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1258
3. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
